Finite Operator Calculus With Applications to Linear Recursions
نویسنده
چکیده
منابع مشابه
A Fast Publicly Verifiable Secret Sharing Scheme using Non-homogeneous Linear Recursions
A non-interactive (t,n)-publicly veriable secret sharing scheme (non-interactive (t,n)-PVSS scheme) is a (t,n)-secret sharing scheme in which anyone, not only the participants of the scheme, can verify the correctness of the produced shares without interacting with the dealer and participants. The (t,n)-PVSS schemes have found a lot of applications in cryptography because they are suitable for<...
متن کاملCertain subclass of $p$-valent meromorphic Bazilevi'{c} functions defined by fractional $q$-calculus operators
The aim of the present paper is to introduce and investigate a new subclass of Bazilevi'{c} functions in the punctured unit disk $mathcal{U}^*$ which have been described through using of the well-known fractional $q$-calculus operators, Hadamard product and a linear operator. In addition, we obtain some sufficient conditions for the func...
متن کاملA finite difference method for the smooth solution of linear Volterra integral equations
The present paper proposes a fast numerical method for the linear Volterra integral equations withregular and weakly singular kernels having smooth solutions. This method is based on the approx-imation of the kernel, to simplify the integral operator and then discretization of the simpliedoperator using a forward dierence formula. To analyze and verify the accuracy of the method, weexamine samp...
متن کاملRota’s Umbral Calculus and Recursions
Umbral Calculus can provide exact solutions to a wide range of linear recursions. We summarize the relevant theory and give a variety of examples from combinatorics in one, two and three variables.
متن کاملComplete Proof Systems for Observation Congruences in Finite-Control pi-Calculus
Proof systems for weak bisimulation congruences in the finite-control π-calculus are presented and their completeness proved. This study consists of two major steps: first complete proof systems for guarded recursions are obtained; then sound laws sufficient to remove any unguarded recursions are formulated. These results lift Milner’s axiomatisation for observation congruence in regular pure-C...
متن کامل